Compositional strategy synthesis for stochastic games with multiple objectives
نویسندگان
چکیده
منابع مشابه
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives
We consider turn-based stochastic games whose winning conditions are conjunctions of satisfaction objectives for long-run average rewards, and address the problem of finding a strategy that almost surely maintains the averages above a given multi-dimensional threshold vector. We show that strategies constructed from Pareto set approximations of expected energy objectives are ε-optimal for the c...
متن کاملOn Stochastic Games with Multiple Objectives
We study two-player stochastic games, where the goal of one player is to satisfy a formula given as a positive boolean combination of expected total reward objectives and the behaviour of the second player is adversarial. Such games are important for modelling, synthesis and verification of open systems with stochastic behaviour. We show that finding a winning strategy is PSPACE-hard in general...
متن کاملCompositional Controller Synthesis for Stochastic Games
Design of autonomous systems is facilitated by automatic synthesis of correct-by-construction controllers from formal models and specifications. We focus on stochastic games, which can model the interaction with an adverse environment, as well as probabilistic behaviour arising from uncertainties. We propose a synchronising parallel composition for stochastic games that enables a compositional ...
متن کاملStochastic Games with Finitary Objectives
The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. First, a game graph can be equipped with probabilistic choices between alternative transitions, thus allowing the modeling of uncertain behavior. These are called stochastic games. Second, a liveness specification can be strengthe...
متن کاملAssume-Guarantee Strategy Synthesis for Stochastic Games
This thesis presents a framework for the automatic strategy synthesis fromquantitative specifications, in order to control autonomous systems. Wemodel systems as turn-based two-player zero-sum stochastic games, whichare able to express both stochastic and nondeterministic environmentaluncertainty. Given a system model and a specification, we define thestrategy synthesis prob...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2018
ISSN: 0890-5401
DOI: 10.1016/j.ic.2017.09.010